Error: 1http:/www.kr.tuwien.ac.at/research/systems/drew2 Example1.takethedlkb:(2paptorev:�)voveroverv8super :overf(a;b)gtf(b;c)gvsuperwheresuper Isthetransitiveclosureoftherolesuper.thersttwoaxiomsindica - PowerPoint Presentations and PDF Documents